functions defined by integrals